normal form

1. In {reduction} systems, the state of a term

which contains no reducible expressions. Variants include

{head normal form}, {weak head normal form}.

2. See {database normalisation}.